specificat相关论文
形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进......
本文描述了基于UML状态图生成测试用例的充分性准则.在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2......
...
经济效益是企业发展的动力和扩大再生产的资本和源泉，衡量工程价格的主要指标就是工程造价，它是建设单位支付工程款的依据，也是施工企......
文章介绍了有关绿色柿饼生产过程中的一些具体操作规程。...
近年来国内发生了2次发电机内部特殊故障,使发电机定子线圈承受大大超过IEC设计标准的故障电流和机械应力,需研究分析.根据IEC标准......
信息是一种战略资产。考虑到这一点，通过促进信息共享为任务参与者实现信息优势显得尤为重要。然而，任务参与者之间的信息共享却被不......
